Towards Certifying Network Calculus
Identifieur interne : 001464 ( Main/Exploration ); précédent : 001463; suivant : 001465Towards Certifying Network Calculus
Auteurs : Etienne Mabille [France] ; Marc Boyer [France] ; Loïc Fejoz [France] ; Stephan Merz [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Network Calculus (NC) [5] is an established theory for determining bounds on message delays and for dimensioning buffers in the design of networks for embedded systems. It is supported by academic and industrial tool sets and has been widely used, including for the design and certification of the Airbus A380 AFDX backbone [1,3,4]. However, while the theory of NC is generally well understood, results produced by existing tools have to be trusted: some algorithms require subtle reasoning in order to ensure their applicability, and implementation errors could result in faulty network design, with unpredictable consequences.
Url:
DOI: 10.1007/978-3-642-39634-2_37
Affiliations:
- France
- Grand Est, Lorraine (région), Midi-Pyrénées, Occitanie (région administrative)
- Nancy, Toulouse
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000B26
- to stream Istex, to step Curation: 000B20
- to stream Istex, to step Checkpoint: 000090
- to stream Hal, to step Corpus: 004E10
- to stream Hal, to step Curation: 004E10
- to stream Hal, to step Checkpoint: 001002
- to stream Main, to step Merge: 001476
- to stream Main, to step Curation: 001464
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Towards Certifying Network Calculus</title><author><name sortKey="Mabille, Etienne" sort="Mabille, Etienne" uniqKey="Mabille E" first="Etienne" last="Mabille">Etienne Mabille</name></author><author><name sortKey="Boyer, Marc" sort="Boyer, Marc" uniqKey="Boyer M" first="Marc" last="Boyer">Marc Boyer</name></author><author><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name></author><author><name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:30302055C818786951E855FE817E53EC9E7193D2</idno><date when="2013" year="2013">2013</date><idno type="doi">10.1007/978-3-642-39634-2_37</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-66DVVR03-5/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000B26</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000B26</idno><idno type="wicri:Area/Istex/Curation">000B20</idno><idno type="wicri:Area/Istex/Checkpoint">000090</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000090</idno><idno type="wicri:doubleKey">0302-9743:2013:Mabille E:towards:certifying:network</idno><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00904796</idno><idno type="url">https://hal.inria.fr/hal-00904796</idno><idno type="wicri:Area/Hal/Corpus">004E10</idno><idno type="wicri:Area/Hal/Curation">004E10</idno><idno type="wicri:Area/Hal/Checkpoint">001002</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001002</idno><idno type="wicri:Area/Main/Merge">001476</idno><idno type="wicri:Area/Main/Curation">001464</idno><idno type="wicri:Area/Main/Exploration">001464</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Towards Certifying Network Calculus</title><author><name sortKey="Mabille, Etienne" sort="Mabille, Etienne" uniqKey="Mabille E" first="Etienne" last="Mabille">Etienne Mabille</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>RealTime at Work, Nancy</wicri:regionArea><placeName><region type="region">Grand Est</region><region type="old region">Lorraine (région)</region><settlement type="city">Nancy</settlement></placeName></affiliation></author><author><name sortKey="Boyer, Marc" sort="Boyer, Marc" uniqKey="Boyer M" first="Marc" last="Boyer">Marc Boyer</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>The French Aerospace Lab, ONERA, Toulouse</wicri:regionArea><placeName><region type="region">Occitanie (région administrative)</region><region type="old region">Midi-Pyrénées</region><settlement type="city">Toulouse</settlement></placeName></affiliation></author><author><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>RealTime at Work, Nancy</wicri:regionArea><placeName><region type="region">Grand Est</region><region type="old region">Lorraine (région)</region><settlement type="city">Nancy</settlement></placeName></affiliation></author><author><name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Inria & LORIA, Nancy</wicri:regionArea><placeName><region type="region">Grand Est</region><region type="old region">Lorraine (région)</region><settlement type="city">Nancy</settlement></placeName></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Network Calculus (NC) [5] is an established theory for determining bounds on message delays and for dimensioning buffers in the design of networks for embedded systems. It is supported by academic and industrial tool sets and has been widely used, including for the design and certification of the Airbus A380 AFDX backbone [1,3,4]. However, while the theory of NC is generally well understood, results produced by existing tools have to be trusted: some algorithms require subtle reasoning in order to ensure their applicability, and implementation errors could result in faulty network design, with unpredictable consequences.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Grand Est</li><li>Lorraine (région)</li><li>Midi-Pyrénées</li><li>Occitanie (région administrative)</li></region><settlement><li>Nancy</li><li>Toulouse</li></settlement></list><tree><country name="France"><region name="Grand Est"><name sortKey="Mabille, Etienne" sort="Mabille, Etienne" uniqKey="Mabille E" first="Etienne" last="Mabille">Etienne Mabille</name></region><name sortKey="Boyer, Marc" sort="Boyer, Marc" uniqKey="Boyer M" first="Marc" last="Boyer">Marc Boyer</name><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name><name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001464 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001464 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:30302055C818786951E855FE817E53EC9E7193D2
|texte= Towards Certifying Network Calculus
}}
| This area was generated with Dilib version V0.6.33. |  |